منابع مشابه
Type-directed Syntax Transformations for ATS-style Programs with Proofs
In their work on ATS [CX05] and ATS [CX04], the authors present an ML-like language which distinguishes between term-level “dynamic” expressions which may contain side effects and pure “static” expressions which are functions on proof objects and might occur inside types. This distinction allows programmers to combine code (potentially containing side effects) with proofs, and with the help of ...
متن کاملA Computational Theory of Goal-Directed Style in Syntax
Lexica l Syn t ac t i c Se ma n t i c Stylistic Stylistic Stylistic G r a m m a r G r a m m a r G r a m m a r Figure 1 A stylistic grammar. of primitive stylistic elements and rules for combining them. At the central level, we use a single vocabulary of abstract elements, stylistic terms that are maximally expressive. Rules relate these abstract elements to patterns of lexical, syntactic, and s...
متن کاملA Computational Theory of Goal-Directed Style in Syntax
Lexica l Syn t ac t i c Se ma n t i c Stylistic Stylistic Stylistic G r a m m a r G r a m m a r G r a m m a r Figure 1 A stylistic grammar. of primitive stylistic elements and rules for combining them. At the central level, we use a single vocabulary of abstract elements, stylistic terms that are maximally expressive. Rules relate these abstract elements to patterns of lexical, syntactic, and s...
متن کاملinvestigating the effect of motivation and attitude towards learning english, learning style preferences and gender on iranian efl learners proficiency
تحقیق حاضر به منظور بررسی تاثیر انگیزه و نگرش نسبت به یادگیری زبان انگلیسی، ترجیحات سبک یادگیری و جنسیت بر بسندگی فراگیران ایرانی زبان انگلیسی انجام شد. برای این منظور، 154 فراگیر ایرانی زبان انگلیسی در این تحقیق شرکت کردند. سه ابزار جمع آوری داده ها شامل آزمون تعیین سطح بسندگی زبان انگلیسی آکسفورد، پرسشنامه ترجیحات سبک یادگیری براچ و پرسشنامه انگیزه و نگرش نسبت به یادگیری زبان انگلیسی به م...
TEX-OWL: a Latex-Style Syntax for authoring OWL 2 ontologies
This paper describes a new syntax that can be used to write OWL 2 ontologies. The syntax, which is known as TEX-OWL, was developed to address the need for an easy-to-read and easy-to-write plain text syntax. TEX-OWL is inspired by LTEX syntax, and covers all construct of OWL 2. We designed TEXOWL to be less verbose than the other OWL syntaxes, and easy-to-use especially for quickly developing s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Classical Review
سال: 1900
ISSN: 0009-840X,1464-3561
DOI: 10.1017/s0009840x00083293